type token =
  | OR
  | AND
  | NOT
  | LPAREN
  | RPAREN
  | EOF
  | ID of (char)

val expr :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf ->  Ast.expr
